1
The Haskell Road to Logic, Maths and Programming

The Haskell Road to Logic, Maths and Programming

Kees Doets, van Jan Eijck
Рік:
2004
Мова:
english
Файл:
PDF, 1.42 MB
5.0 / 4.5
english, 2004
2
Set theory

Set theory

Kenneth Kunen
Рік:
2013
Мова:
english
Файл:
DJVU, 3.80 MB
0 / 0
english, 2013
3
Learn Prolog Now

Learn Prolog Now

Patrick Blackburn, Johan Bos, Kristina Striegnitz
Рік:
2006
Мова:
english
Файл:
PDF, 1.63 MB
1.0 / 3.0
english, 2006
4
Knowledge and Belief - An Introduction to the Logic of the Two Notions

Knowledge and Belief - An Introduction to the Logic of the Two Notions

Jaakko Hintikka, Vincent F. Hendricks, John Symons
Рік:
2005
Мова:
english
Файл:
PDF, 5.05 MB
4.0 / 0
english, 2005
5
Microeconomics: An Intuitive Approach with Calculus

Microeconomics: An Intuitive Approach with Calculus

Thomas J. Nechyba
Рік:
2010
Мова:
english
Файл:
PDF, 71.81 MB
0 / 0
english, 2010
6
Heuristics, Probability, and Causality. Tribute to Judea Pearl

Heuristics, Probability, and Causality. Tribute to Judea Pearl

Rina Dechter, Hector Geffner, Joseph Y. Halpern
Рік:
2010
Мова:
english
Файл:
PDF, 14.27 MB
0 / 0
english, 2010
7
Implementing Programming Languages. an Introduction to Compilers and Interpreters

Implementing Programming Languages. an Introduction to Compilers and Interpreters

Aarne Ranta
Рік:
2012
Мова:
english
Файл:
PDF, 1.80 MB
2.0 / 5.0
english, 2012
8
The Foundations of Mathematics

The Foundations of Mathematics

Kenneth Kunen
Рік:
2012
Мова:
english
Файл:
DJVU, 2.11 MB
0 / 0
english, 2012
9
A Treatise on the Binomial Theorem

A Treatise on the Binomial Theorem

Craig Smorynski
Рік:
2012
Мова:
english
Файл:
PDF, 28.63 MB
0 / 0
english, 2012
10
Language C++ et calcul scientifique

Language C++ et calcul scientifique

Pierre Saramito
Рік:
2013
Мова:
french
Файл:
PDF, 6.24 MB
0 / 5.0
french, 2013
11
Logical reasoning : a first course

Logical reasoning : a first course

Rob. Nederpelt, Fairouz. Kamareddine
Рік:
2011
Мова:
english
Файл:
PDF, 10.06 MB
0 / 0
english, 2011
12
Handbook of Deontic Logic and Normative Systems

Handbook of Deontic Logic and Normative Systems

Dov Gabbay, John Horty, Xavier Parent, Ron van der Meyden, Leendert van der Torre (eds.)
Рік:
2013
Мова:
english
Файл:
PDF, 24.82 MB
0 / 0
english, 2013
13
The Foundations of Mathematics

The Foundations of Mathematics

Kenneth Kunen
Рік:
2009
Мова:
english
Файл:
PDF, 24.59 MB
0 / 5.0
english, 2009
14
Intuitionistic Set Theory

Intuitionistic Set Theory

John L. Bell
Рік:
2014
Мова:
english
Файл:
PDF, 4.89 MB
0 / 0
english, 2014
15
Handbook of Paraconsistency

Handbook of Paraconsistency

Béziau, Jean-Yves, Carnielli, Walter Alexandre, Gabbay, Dov M.
Рік:
2007
Мова:
english
Файл:
PDF, 13.24 MB
0 / 0
english, 2007
16
Handbook of Epistemic Logic

Handbook of Epistemic Logic

Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi (eds.)
Рік:
2015
Мова:
english
Файл:
PDF, 63.98 MB
0 / 0
english, 2015
17
How to Sell a Contradiction: The Logic and Metaphysics of Inconsistency

How to Sell a Contradiction: The Logic and Metaphysics of Inconsistency

Francesco Berto
Рік:
2007
Мова:
english
Файл:
PDF, 31.19 MB
0 / 0
english, 2007
18
Philosophical applications of modal logic

Philosophical applications of modal logic

Humberstone, Lloyd
Рік:
2015
Мова:
english
Файл:
PDF, 78.03 MB
0 / 0
english, 2015
19
Chapters in Mathematics. from Pi to Pell

Chapters in Mathematics. from Pi to Pell

Craig Smorynski
Рік:
2012
Мова:
english
Файл:
PDF, 15.00 MB
0 / 0
english, 2012
20
The Measurement of Intelligence

The Measurement of Intelligence

Edward L. Thorndike, E O Bregman, M V Cobb, Ella Woodyard
Рік:
1925
Мова:
english
Файл:
PDF, 28.30 MB
0 / 0
english, 1925
21
Handbook of Mathematical Fuzzy Logic

Handbook of Mathematical Fuzzy Logic

Petr Cintula, Christian G Fermueller, Carles Noguera (eds.)
Рік:
2015
Мова:
english
Файл:
PDF, 36.12 MB
0 / 0
english, 2015
22
Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory

Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory

C. E. Brown
Рік:
2007
Мова:
english
Файл:
PDF, 51.63 MB
0 / 0
english, 2007
23
Errors of Reasoning. Naturalizing the Logic of Inference

Errors of Reasoning. Naturalizing the Logic of Inference

John Woods
Рік:
2013
Мова:
english
Файл:
PDF, 7.78 MB
0 / 0
english, 2013
24
Chapters in Probability

Chapters in Probability

Craig Smorynski
Рік:
2012
Мова:
english
Файл:
PDF, 53.88 MB
0 / 0
english, 2012
25
Adventures in Formalism

Adventures in Formalism

Craig Smorynski
Рік:
2012
Мова:
english
Файл:
PDF, 40.60 MB
0 / 0
english, 2012
26
Dictionary of Argumentation

Dictionary of Argumentation

Christian Plantin
Рік:
2018
Мова:
english
Файл:
PDF, 11.68 MB
0 / 0
english, 2018
27
The Kingship of Christ and the Conversion of the Jewish Nation

The Kingship of Christ and the Conversion of the Jewish Nation

FAHEY, Rev. Denis
Рік:
1953
Мова:
english
Файл:
PDF, 7.83 MB
0 / 5.0
english, 1953
30
Logic and Philosophy Today

Logic and Philosophy Today

Amitabha Gupta, Johan van Benthem (ed.)
Рік:
2011
Мова:
english
Файл:
PDF, 40.10 MB
0 / 0
english, 2011
31
Meta-Argumentation. an Approach to Logic and Argumentation Theory

Meta-Argumentation. an Approach to Logic and Argumentation Theory

Maurice A. Finocchiaro
Рік:
2013
Мова:
english
Файл:
PDF, 35.86 MB
0 / 0
english, 2013
32
Handbook of Deontic Logic and Normative Systems

Handbook of Deontic Logic and Normative Systems

Dov M Gabbay, John Horty, Xavier Parent (eds.)
Рік:
2013
Мова:
english
Файл:
PDF, 3.23 MB
0 / 0
english, 2013
33
New directions in logic and the philosophy of science

New directions in logic and the philosophy of science

Felline, Laura, Ledda, Antonio, Paoli, Francesco, Rossanese, Emanuele et al. (eds.)
Рік:
2016
Мова:
english
Файл:
PDF, 2.18 MB
0 / 0
english, 2016
34
Learn Prolog Now!

Learn Prolog Now!

Patrick Blackburn, Johan Bos, Kristina Striegnitz
Рік:
2001
Мова:
english
Файл:
PDF, 432 KB
0 / 4.0
english, 2001
35
Proof-theoretic Semantics

Proof-theoretic Semantics

Nissim Francez
Рік:
2015
Мова:
english
Файл:
PDF, 33.12 MB
0 / 0
english, 2015
36
The Haskell road to logic, maths and programming

The Haskell road to logic, maths and programming

Kees Doets, J van Eijck
Рік:
2004
Мова:
english
Файл:
PDF, 1.21 MB
5.0 / 0
english, 2004
37
Philosophy and History of Talmudic Logic

Philosophy and History of Talmudic Logic

Andrew Schumann
Рік:
2017
Мова:
english
Файл:
PDF, 3.49 MB
0 / 5.0
english, 2017
38
Aristotle's Earlier Logic

Aristotle's Earlier Logic

John Woods
Рік:
2014
Мова:
english
Файл:
PDF, 4.71 MB
0 / 0
english, 2014
39
Foundations of the formal sciences 1: the history of the concept of the formal sciences

Foundations of the formal sciences 1: the history of the concept of the formal sciences

Löwe, Benedikt, Peckhaus, Volker, Räsch, Thoralf (eds.)
Рік:
2002
Мова:
english
Файл:
PDF, 1.70 MB
0 / 0
english, 2002
40
The Foundations of Mathematics

The Foundations of Mathematics

Kenneth Kunen
Рік:
2009
Мова:
english
Файл:
DJVU, 1.99 MB
0 / 0
english, 2009
41
Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition

Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition

Luis M Augusto
Рік:
2017
Мова:
english
Файл:
PDF, 3.71 MB
0 / 5.0
english, 2017
42
Talmudic Logic (Studies in Talmudic Logic)

Talmudic Logic (Studies in Talmudic Logic)

Andrew Schumann
Рік:
2012
Мова:
english
Файл:
PDF, 4.58 MB
0 / 5.0
english, 2012
43
Incompleteness in the Land of Sets

Incompleteness in the Land of Sets

Melvin Fitting
Рік:
2007
Мова:
english
Файл:
DJVU, 2.84 MB
0 / 0
english, 2007
44
Proof Theory of N4-Paraconsistent Logics

Proof Theory of N4-Paraconsistent Logics

Norihiro Kamide, Heinrich Wansing
Рік:
2015
Мова:
english
Файл:
PDF, 37.87 MB
0 / 0
english, 2015
45
Gottlob Frege. Una Introducción

Gottlob Frege. Una Introducción

Markus Stepanians (Traducción Juan Redmond)
Рік:
2007
Мова:
spanish
Файл:
PDF, 2.02 MB
0 / 0
spanish, 2007
46
Logical Reasoning: A First Course

Logical Reasoning: A First Course

Rob P. Nederpelt, Fairouz D. Kamareddine
Рік:
2004
Мова:
english
Файл:
PDF, 80.72 MB
0 / 3.0
english, 2004
47
Rating scales in psychiatry

Rating scales in psychiatry

Tyrer, Peter J., Methuen, Caroline
Рік:
2007
Мова:
english
Файл:
PDF, 1.11 MB
0 / 0
english, 2007
48
Algebra, Logic, Set Theory

Algebra, Logic, Set Theory

B. Loewe (ed.)
Рік:
2007
Мова:
english
Файл:
PDF, 93.77 MB
0 / 0
english, 2007
49
Handbook of Epistemic Logic

Handbook of Epistemic Logic

Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi (eds.)
Рік:
2015
Мова:
english
Файл:
DJVU, 7.29 MB
0 / 0
english, 2015
50
Symbolic Knowledge from Leibniz to Husserl

Symbolic Knowledge from Leibniz to Husserl

Abel Lassalle Casanave (ed.)
Рік:
2012
Мова:
english
Файл:
PDF, 12.90 MB
0 / 0
english, 2012